// TARGET_BACKEND: WASM

// RUN_THIRD_PARTY_OPTIMIZER
// WASM_DCE_EXPECTED_OUTPUT_SIZE: wasm 18_766
// WASM_DCE_EXPECTED_OUTPUT_SIZE:  mjs  5_386
// WASM_OPT_EXPECTED_OUTPUT_SIZE:       3_072

fun box() = "OK"